Inheritance Using Contracts & Object Composition, 1997
نویسنده
چکیده
Normal class based code inheritance across component bound aries creates a dependency between the involved components To avoid this a speci cation of the inherited class must be part of the respective component s contract and the inheriting class must be speci ed with ref erence to this speci cation only With this inheritance can be replaced by object composition without sacri cing the possibility of static analysis yet being more exible
منابع مشابه
Inheritance Using Contracts & Object
Normal class-based code inheritance across component boundaries creates a dependency between the involved components. To avoid this, a speciication of the inherited class must be part of the respective component's contract and the inheriting class must be speciied with reference to this speciication only. With this, inheritance can be replaced by object composition without sacriicing the possib...
متن کاملInheritance in Object Oriented Datalog : A Modular Logic Programming
Modularity is a special form of logic programming composition that allows incremental development and code reusability. It is natural to be considered as the formal framework to supply semantics to languages of logic programs (such as datalog) when the underlying data model is object oriented. We show here that a) for various interesting forms of inheritance, clean and natural semantics can ind...
متن کاملAn Object-Oriented Approach to Feature Interaction
In this paper, we address the feature interaction problem as a software composition problem. We show the applicability of a new programming style, feature-oriented programming (FOP), to typical feature interaction problems. FOP generalizes inheritance as in object-oriented programming and allows to compose objects with individual services from a set of features. In particular, we discuss except...
متن کاملrelations between different composition techniques
While composability is a much desired quality for software artefacts, there is no consensus whatsoever on what composability really is, nor on how it can be achieved. In this position paper we discuss three inhibitors of composability and hint at possible solutions. It is our conjecture that tackling these three problems is crucial to achieve true composability. 1. Inhibitor 1: Lack of a consis...
متن کاملExtensible Code Contracts for Scala
Code contracts is a way to attribute the programs with formal the specifications, based on which the verification of those programs can be performed. The focus on software verification is increasing and the mainstream languages start to adopt this technique. Scala is an object oriented and functional programming language that is very expressive and has a strong type system. Hence, developing a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997